<html>
	<head>
		<title>calculus</title>
<link href="../docs-assets/Breadcrumbs.css" rel="stylesheet" rev="stylesheet" type="text/css">
		<meta name="viewport" content="width=device-width initial-scale=1">
		<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
		<meta http-equiv="Content-Language" content="en-gb">

<link href="../docs-assets/Contents.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Progress.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Navigation.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Fonts.css" rel="stylesheet" rev="stylesheet" type="text/css">
<link href="../docs-assets/Base.css" rel="stylesheet" rev="stylesheet" type="text/css">
		
	</head>
	<body class="commentary-font">
		<nav role="navigation">
		<h1><a href="../index.html"><img src="../docs-assets/Inform.png" height=72> </a></h1>
<ul><li><a href="../index.html">home</a></li>
</ul><h2>Compiler</h2><ul>
<li><a href="../structure.html">structure</a></li>
<li><a href="../inbuildn.html">inbuild</a></li>
<li><a href="../inform7n.html">inform7</a></li>
<li><a href="../intern.html">inter</a></li>
<li><a href="../services.html">services</a></li>
<li><a href="../secrets.html">secrets</a></li>
</ul><h2>Other Tools</h2><ul>
<li><a href="../inblorbn.html">inblorb</a></li>
<li><a href="../inform6.html">inform6</a></li>
<li><a href="../inpolicyn.html">inpolicy</a></li>
</ul><h2>Resources</h2><ul>
<li><a href="../extensions.html">extensions</a></li>
<li><a href="../kits.html">kits</a></li>
</ul><h2>Repository</h2><ul>
<li><a href="https://github.com/ganelson/inform"><img src="../docs-assets/github.png" height=0> github</a></li>
</ul><h2>Related Projects</h2><ul>
<li><a href="https://github.com/ganelson/inweb"><img src="../docs-assets/github.png" height=0> inweb</a></li>
<li><a href="https://github.com/ganelson/intest"><img src="../docs-assets/github.png" height=0> intest</a></li>
</ul>
		</nav>
		<main role="main">
		<ul class="crumbs"><li><a href="../index.html">Home</a></li><li><a href="../services.html">Services</a></li><li><b>calculus</b></li></ul>
		<p class="purpose">Storing and simplifying propositions in predicate calculus. This is version 1.</p>
		<hr>
		<div class="contentspage">
			<ul class="chapterlist">
				<li>
					<p class="chapterentry"><a name="P"></a>
						<span class="chaptertitle">Preliminaries</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="P-wtmd.html">
								<spon class="sectiontitle">What This Module Does</span></a> -
							<span class="sectionpurpose">An overview of the calculus module's role and abilities.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="P-htitm.html">
								<spon class="sectiontitle">How To Include This Module</span></a> -
							<span class="sectionpurpose">What to do to make use of the calculus module in a new command-line tool.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="1"></a>
						<span class="chaptertitle">Chapter 1: Setting Up</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="1-cm.html">
								<spon class="sectiontitle">Calculus Module</span></a> -
							<span class="sectionpurpose">Setting up the use of this module.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="2"></a>
						<span class="chaptertitle">Chapter 2: Unary Predicates</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="2-up.html">
								<spon class="sectiontitle">Unary Predicates</span></a> -
							<span class="sectionpurpose">A lightweight structure to represent a unary predicate, which is either true or false when applied to a single term.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-upf.html">
								<spon class="sectiontitle">Unary Predicate Families</span></a> -
							<span class="sectionpurpose">To create sets of unary predicates for different purposes.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="2-kp.html">
								<spon class="sectiontitle">Kind Predicates</span></a> -
							<span class="sectionpurpose">To define the predicates for membership of a kind.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="3"></a>
						<span class="chaptertitle">Chapter 3: Binary Predicates</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="3-bpf.html">
								<spon class="sectiontitle">Binary Predicate Families</span></a> -
							<span class="sectionpurpose">To create sets of relations for different purposes.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-bptd.html">
								<spon class="sectiontitle">Binary Predicate Term Details</span></a> -
							<span class="sectionpurpose">To keep track of requirements on the terms for a binary predicate.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-bp.html">
								<spon class="sectiontitle">Binary Predicates</span></a> -
							<span class="sectionpurpose">To create and manage binary predicates, which are the underlying data structures beneath Inform's relations.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-ter.html">
								<spon class="sectiontitle">The Equality Relation</span></a> -
							<span class="sectionpurpose">To define that prince among predicates, the equality relation; and also its less noble sidekick, the "has" relation.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="3-cs.html">
								<spon class="sectiontitle">Compilation Schemas</span></a> -
							<span class="sectionpurpose">To manage prototype pieces of code for use in code-generation.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="4"></a>
						<span class="chaptertitle">Chapter 4: Propositions</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="4-trm.html">
								<spon class="sectiontitle">Terms</span></a> -
							<span class="sectionpurpose">Terms are the representations of values in predicate calculus: variables, constants or functions of other terms.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-ap.html">
								<spon class="sectiontitle">Atomic Propositions</span></a> -
							<span class="sectionpurpose">To build and modify atoms, the syntactic pieces from which propositions are built up.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-prp.html">
								<spon class="sectiontitle">Propositions</span></a> -
							<span class="sectionpurpose">To build and modify structures representing propositions in predicate calculus.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-bas.html">
								<spon class="sectiontitle">Binding and Substitution</span></a> -
							<span class="sectionpurpose">To substitute constants into propositions in place of variables, and to apply quantifiers to bind any unbound variables.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="4-tcp.html">
								<spon class="sectiontitle">Type Check Propositions</span></a> -
							<span class="sectionpurpose">Predicate calculus is a largely symbolic exercise, and its rules of working tend to assume that all predicates are meaningful for all terms: this means, for instance, that "if blue is 14" is likely to make a well-formed sentence in predicate calculus. In this section we reject such propositions on the grounds that they violate type-checking requirements on relations -- in this example, the equality relation.</span></p>
						</li>
					</ul>
				</li>
				<li>
					<p class="chapterentry"><a name="5"></a>
						<span class="chaptertitle">Chapter 5: Sentences</span></p>
					<ul class="sectionlist">
						<li>
							<p class="sectionentry"><a href="5-sc.html">
								<spon class="sectiontitle">Sentence Conversions</span></a> -
							<span class="sectionpurpose">Turning parse trees from English sentences into logical propositions.</span></p>
						</li>
						<li>
							<p class="sectionentry"><a href="5-smp.html">
								<spon class="sectiontitle">Simplifications</span></a> -
							<span class="sectionpurpose">A set of operations which rewrite propositions to make them easier or quicker to test at run-time without changing their meaning.</span></p>
						</li>
					</ul>
				</li>
			</ul>
		</div>
		<hr>
		<p class="purpose">Powered by <a href="https://github.com/ganelson/inweb">Inweb</a>.</p>
		</main>
	</body>
</html>

